Relational Properties Expressible with One Universal Quantifier Are Testable
نویسندگان
چکیده
In property testing a small, random sample of an object is taken and one wishes to distinguish with high probability between the case where it has a desired property and the case where it is far from having the property. Much of the recent work has focused on graphs. In the present paper three generalized models for testing relational structures are introduced and relationships between these variations are shown. Furthermore, the logical classification problem for testability is considered and, as the main result, it is shown that Ackermann’s class with equality is testable.
منابع مشابه
Testable and Untestable Classes of First-Order Logic
Property testing is essentially a kind of constant-time randomized approximation. Alon et al. [3] were the first to consider the idea of testing properties expressible in syntactic subclasses of first-order logic. They proved the testability of all properties of undirected, loop-free graphs expressible with quantifier prefix ∃∗∀∗, and also that there exist untestable properties of undirected, l...
متن کاملContributions to the Classification for Testability: Four Universal and One Existential Quantifier
In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a small, random sample of the structure. We focus on the classification of first-order sentences based on their quantifier prefixes and vocabulary into testable and untestable classes. This classification was begun by Alon et al...
متن کاملTestable and untestable classes of first-order formulae
In property testing, the goal is to distinguish structures that have some desired property from those that are far from having the property, based on only a small, random sample of the structure. We focus on the classification of first-order sentences according to their testability. This classification was initiated by Alon et al. [2], who showed that graph properties expressible with prefix ∃∗...
متن کاملUntestable Properties Expressible with Four First-Order Quantifiers
In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a small, random sample of the structure. We focus on the classification of first-order sentences based on their quantifier prefixes and vocabulary into testable and untestable classes. This classification was initiated by Alon e...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009